Representing a robotic domain using temporal description logics
نویسندگان
چکیده
A temporal logic for representing and reasoning on a robotic domain is presented. Actions are represented by describing what is true while the action itself is occurring, and plans are constructed by temporally relating actions and world states. The temporal language is a member of the family of Description Logics, which are characterized by high expressivity combined with good computational properties. The logic is used to organize the domain actions and plans in a taxonomy. The classi cation and recognition tasks, together with the subsumption task form the basis for action management. An action/plan description can be automatically classi ed into a taxonomy; an action/plan instance can be recognized to take place at a certain moment from the observation of what is happening in the world during a time interval.
منابع مشابه
Two-Dimensional Description Logics of Context
We introduce an extension of Description Logics (DLs) for representing and reasoning about contextualized knowledge. Our formalism is inspired by McCarthy’s theory of formalizing contexts and based on two-dimensional semantics, with one dimension representing a usual object domain and the other a domain of contexts. Additionally, it is equipped with a second DL language for describing the conte...
متن کاملA Correspondence between Temporal Description Logics
Description Logics (DLs) are formalisms for representing and reasoning about conceptual knowledge. There exist several extensions of DLs for an appropriate integration of temporal knowledge [4]. This paper investigates the relation between the two DLs T L-ALCF [2, 3] and ALCF(D) [10, 8]. T L-ALCF is an interval-based, temporal DL for reasoning about objects whose properties vary over time. ALCF...
متن کاملA Compatible Approach to Temporal Description Logics
Temporal description logics (TDLs) have been studied by many researchers (see e.g., [1, 10] for surveys and [4, 2, 15] for recent or important results). These TDLs are, however, not compatible in the following sense: these are not embeddable into the standard (non-temporal) description logics (DLs), and hence the existing algorithms for testing satisfiability in the standard DLs are not availab...
متن کاملBranching Temporal Description Logics: Reasoning about CTLALC and CTLEL concepts
In many applications of description logics (DLs) it is no longer enough to describe the static aspects of the application domain. In particular, there is a need to formalize the temporal evolution of an application domain. This is the case, for example, if we want to use DLs as conceptual modeling languages for temporal databases. Another example are medical ontologies, where the representation...
متن کاملTowards a Unifying Approach to Representing and Querying Temporal Data in Description Logics
Establishing a generic approach to representing and querying temporal data in the context of Description Logics (DLs) is an important, and still open challenge. The difficulty lies in that a proposed approach should reconcile a number of valuable contributions coming from diverse, yet relevant research lines, such as temporal databases and query answering in DLs, but also temporal DLs and Seman...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
برای دانلود متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید
ثبت ناماگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید
ورودعنوان ژورنال:
- AI EDAM
دوره 13 شماره
صفحات -
تاریخ انتشار 1999